A compositional coalgebraic model of fusion calculus

This paper is a further step in exploring the labelled transitions and bisimulations offusion calculi. We follow a recent theory by the same authors and previously appliedto the pi-calculus for lifting calculi with structural axioms to bialgebras and, thus,we provide a compositional model of the fusion calculus with explicit fusions. Insuch a model, the bisimilarity relation induced by the unique morphism to the finalcoalgebra coincides with fusion hyperequivalence and it is a congruence with respectto the operations of the calculus. The key novelty in our work is that we give anaccount of explicit fusions through labelled transitions. Interestingly enough, thisapproach allows to exploit for the fusion calculus essentially the same algebraicstructure used for the pi-calculus.